Optimal. Leaf size=92 \[ \frac{1}{48} b^3 e^{-\frac{b x}{2}} \sqrt{e^{a+b x}} \text{Ei}\left (\frac{b x}{2}\right )-\frac{b^2 \sqrt{e^{a+b x}}}{24 x}-\frac{b \sqrt{e^{a+b x}}}{12 x^2}-\frac{\sqrt{e^{a+b x}}}{3 x^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.154713, antiderivative size = 92, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 3, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2, Rules used = {2177, 2182, 2178} \[ \frac{1}{48} b^3 e^{-\frac{b x}{2}} \sqrt{e^{a+b x}} \text{Ei}\left (\frac{b x}{2}\right )-\frac{b^2 \sqrt{e^{a+b x}}}{24 x}-\frac{b \sqrt{e^{a+b x}}}{12 x^2}-\frac{\sqrt{e^{a+b x}}}{3 x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2177
Rule 2182
Rule 2178
Rubi steps
\begin{align*} \int \frac{\sqrt{e^{a+b x}}}{x^4} \, dx &=-\frac{\sqrt{e^{a+b x}}}{3 x^3}+\frac{1}{6} b \int \frac{\sqrt{e^{a+b x}}}{x^3} \, dx\\ &=-\frac{\sqrt{e^{a+b x}}}{3 x^3}-\frac{b \sqrt{e^{a+b x}}}{12 x^2}+\frac{1}{24} b^2 \int \frac{\sqrt{e^{a+b x}}}{x^2} \, dx\\ &=-\frac{\sqrt{e^{a+b x}}}{3 x^3}-\frac{b \sqrt{e^{a+b x}}}{12 x^2}-\frac{b^2 \sqrt{e^{a+b x}}}{24 x}+\frac{1}{48} b^3 \int \frac{\sqrt{e^{a+b x}}}{x} \, dx\\ &=-\frac{\sqrt{e^{a+b x}}}{3 x^3}-\frac{b \sqrt{e^{a+b x}}}{12 x^2}-\frac{b^2 \sqrt{e^{a+b x}}}{24 x}+\frac{1}{48} \left (b^3 e^{\frac{1}{2} (-a-b x)} \sqrt{e^{a+b x}}\right ) \int \frac{e^{\frac{1}{2} (a+b x)}}{x} \, dx\\ &=-\frac{\sqrt{e^{a+b x}}}{3 x^3}-\frac{b \sqrt{e^{a+b x}}}{12 x^2}-\frac{b^2 \sqrt{e^{a+b x}}}{24 x}+\frac{1}{48} b^3 e^{-\frac{b x}{2}} \sqrt{e^{a+b x}} \text{Ei}\left (\frac{b x}{2}\right )\\ \end{align*}
Mathematica [A] time = 0.0529866, size = 64, normalized size = 0.7 \[ \frac{e^{-\frac{b x}{2}} \sqrt{e^{a+b x}} \left (b^3 x^3 \text{Ei}\left (\frac{b x}{2}\right )-2 e^{\frac{b x}{2}} \left (b^2 x^2+2 b x+8\right )\right )}{48 x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.03, size = 189, normalized size = 2.1 \begin{align*} -{\frac{{b}^{3}}{8}\sqrt{{{\rm e}^{bx+a}}}{{\rm e}^{{\frac{3\,a}{2}}-{\frac{bx}{2}{{\rm e}^{{\frac{a}{2}}}}}}} \left ({\frac{8}{3\,{x}^{3}{b}^{3}}{{\rm e}^{-{\frac{3\,a}{2}}}}}+2\,{\frac{{{\rm e}^{-a}}}{{x}^{2}{b}^{2}}}+{\frac{1}{bx}{{\rm e}^{-{\frac{a}{2}}}}}+{\frac{11}{36}}-{\frac{\ln \left ( x \right ) }{6}}+{\frac{\ln \left ( 2 \right ) }{6}}-{\frac{1}{6}\ln \left ( -b{{\rm e}^{{\frac{a}{2}}}} \right ) }-{\frac{1}{9\,{x}^{3}{b}^{3}}{{\rm e}^{-{\frac{3\,a}{2}}}} \left ({\frac{11\,{x}^{3}{b}^{3}}{4}{{\rm e}^{{\frac{3\,a}{2}}}}}+9\,{b}^{2}{x}^{2}{{\rm e}^{a}}+18\,bx{{\rm e}^{a/2}}+24 \right ) }+{\frac{1}{3\,{x}^{3}{b}^{3}}{{\rm e}^{-{\frac{3\,a}{2}}+{\frac{bx}{2}{{\rm e}^{{\frac{a}{2}}}}}}} \left ({b}^{2}{x}^{2}{{\rm e}^{a}}+2\,bx{{\rm e}^{a/2}}+8 \right ) }+{\frac{1}{6}\ln \left ( -{\frac{bx}{2}{{\rm e}^{{\frac{a}{2}}}}} \right ) }+{\frac{1}{6}{\it Ei} \left ( 1,-{\frac{bx}{2}{{\rm e}^{{\frac{a}{2}}}}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.13943, size = 20, normalized size = 0.22 \begin{align*} \frac{1}{8} \, b^{3} e^{\left (\frac{1}{2} \, a\right )} \Gamma \left (-3, -\frac{1}{2} \, b x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.46683, size = 119, normalized size = 1.29 \begin{align*} \frac{b^{3} x^{3}{\rm Ei}\left (\frac{1}{2} \, b x\right ) e^{\left (\frac{1}{2} \, a\right )} - 2 \,{\left (b^{2} x^{2} + 2 \, b x + 8\right )} e^{\left (\frac{1}{2} \, b x + \frac{1}{2} \, a\right )}}{48 \, x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{e^{a} e^{b x}}}{x^{4}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.30918, size = 85, normalized size = 0.92 \begin{align*} \frac{b^{3} x^{3}{\rm Ei}\left (\frac{1}{2} \, b x\right ) e^{\left (\frac{1}{2} \, a\right )} - 2 \, b^{2} x^{2} e^{\left (\frac{1}{2} \, b x + \frac{1}{2} \, a\right )} - 4 \, b x e^{\left (\frac{1}{2} \, b x + \frac{1}{2} \, a\right )} - 16 \, e^{\left (\frac{1}{2} \, b x + \frac{1}{2} \, a\right )}}{48 \, x^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]